1. Computational logic
پدیدآورنده: edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer logic.
2. Handbook Of The History Of Logic
پدیدآورنده: /Edited By Dov M. Gabbay
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع:
3. Handbook of Philosophical Logic
پدیدآورنده: edited by Dov M. Gabbay, Franz Guenthner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic.,Philosophy
4. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
5. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Logic programming , Artificial intelligence , Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
6. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
7. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H26
8. Handbook of logic in computer science
پدیدآورنده: edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science , Logic, Symbolic and mathematical
رده :
QA
76
.
H2785
1992
9. Handbook of logic in computer science
پدیدآورنده: edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
H27
1992
10. Handbook of logic in computer science
پدیدآورنده: / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Logic, Symbolic and mathematical.
رده :
QA
,
76
,.
H2785
,
1992
11. Handbook of quantum logic and quantum structures :
پدیدآورنده: edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Quantum logic,Quantum theory
رده :
QC174
.
17
.
M35
H36
2007
12. Handbook of quantum logic and quantum structures
پدیدآورنده: / edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Quantum logic--Handbooks, manuals, etc
رده :
QC
,
174
.
17
,.
M35
,
H35
,
2009
13. Handbook of quantum logic and quantum structures: quantum logic
پدیدآورنده: / edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Quantum logic
رده :
530
.
12
015113
H236
2009
14. Handbook of quantum logic and quantum structures: quantum logic
پدیدآورنده: edited by Kurt Engesser, Dov M. Gabbay, Daniel Lehmann
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Quantum logic
رده :
QC
174
.
17
.
H35
2009
15. Handbook of the history of logic
پدیدآورنده: edited by Dov M. Gabbay and John Woods
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: History ، Logic
رده :
BC
15
.
H264
16. Handbook of the history of logic
پدیدآورنده: / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic--History
رده :
BC
,
15
,.
H36
,
2004
17. Handbook of the history of logic
پدیدآورنده: / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic--History
رده :
BC
,
15
,.
H36
,
2004
18. Handbook of the history of logic
پدیدآورنده: / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic--History
رده :
BC
,
15
,.
H36
,
2004
19. Handbook of the history of logic
پدیدآورنده: / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic--History
رده :
BC
,
15
,.
H36
,
2004
20. Handbook of the history of logic
پدیدآورنده: edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic, History
رده :
BC
.
H36
15
2004
